Categories of Modules over an Affine Kac–moody Algebra and Finiteness of the Kazhdan–lusztig Tensor Product

To each category C of modules of finite length over a complex simple Lie algebra g, closed under tensoring with finite dimensional modules, we associate and study a category AFF(C)κ of smooth modules (in the sense of Kazhdan and Lusztig [13]) of finite length over the corresponding affine Kac–Moody algebra in the case of central charge less than the critical level. Equivalent characterizations of these categories are obtained in the spirit of the works of Kazhdan–Lusztig [13] and Lian–Zuckerman [18, 19]. In the main part of this paper we establish a finiteness result for the Kazhdan–Lusztig tensor product which can be considered as an affine version of a theorem of Kostant [17]. It contains as special cases the finiteness results of Kazhdan, Lusztig [13] and Finkelberg [7], and states that for any subalgebra f of g which is reductive in g the “affinization” of the category of finite length admissible (g, f) modules is stable under Kazhdan–Lusztig’s tensoring with the “affinization” of the category of finite dimensional g modules (which is Oκ in the notation of [13, 14, 15]).